(proper) vertex coloring